退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过抽象解释对函数调用和返回进行控制流分析
Midtgaard, Jan; Jensen, Thomas;
机译:函数调用的控制流程分析和抽象解释返回
机译:通过抽象解释进行空间消耗分析:递归函数的推断
机译:抽象解释责任分析
机译:摘要52:PEG融合显着改善了中/尺神经去神经模型中的功能恢复
机译:重新审视培训的回报:功能形式,大小和解释工作文件
机译:通过抽象的多态函数扩展数据访问和分析功能
机译:(54)标题:用于摩托车驾驶员的气囊系统(57)摘要:一种服装,其包括能够从静止状态(其处于放气状态)膨胀到工作状态(其中在其处于充气状态)时膨胀的充气保护装置,如果装在衣服中的传感器检测到危险和/或危险信号,则可以使所述保护装置充气的充气装置和能够激活充气装置的电子控制器。可充气的保护装置在移动到工作状态之后,可以自动返回到静止状态,而无需重新包装或重置,并且充气装置可以使保护装置充气一次以上而无需重新充电。
机译:处理从重定位的检测函数到在原始地址空间中需要返回指针值的函数的调用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。